Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
801	Dependent Types for Low-Level Programming Jeremy Condit1 , Matthew Harren1 , Zachary Anderson1 , David Gay2 , and George C. Necula1 1 University of California, Berkeley Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-02-02 07:49:52 Data types Type theory Procedural programming languages C++ Program analysis Type system Pointer C++ classes ALGOL 68 Programming language theory Software engineering Computing
802	Hongwei Xi Curriculum Vitæ February 25, 2010 Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2010-02-25 19:00:37 Type theory Functional languages Logic in computer science Lambda calculus Dependent ML Peter B. Andrews International Conference on Functional Programming Dependent type ATS Software engineering Programming language theory Computing
803	Heresy! Embracing Duck Typing in CFCs Sean Corfield Sr Computer Scientist Adobe Systems, Inc. Add to Reading List Source URL: corfield.org Language: English - Date: 2010-04-11 03:30:09 Adobe software ColdFusion Web development software Type system Adobe Systems ColdFusion Markup Language Computing Programming language theory Software
804	KX SYSTEMS CASE STU DI ES appian Intelligent Opportunities Add to Reading List Source URL: kx.com Language: English - Date: 2014-05-02 10:28:52 Array programming languages Programming language theory K Appian Corporation Business process management Q Computing Software engineering APL programming language family
805	Attributes and More Crowdsourcing Computer Vision CS 143, Brown James Hays Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2013-11-17 22:17:01 Crowdsourcing Outsourcing Social psychology Pascal Endres Volatile organic compound Programming language theory Technology Computing Social information processing Main Belt asteroids Business
806	Parallel Type-checking with Saturating LVars Peter Fogg Sam Tobin-Hochstadt Ryan R. Newton Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Type systems Procedural programming languages Theoretical computer science Type inference Monad ML Hindley–Milner Software engineering Computing Programming language theory
807	Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Programming language theory Data types Object-oriented programming Polymorphism Subtype polymorphism Type system Universal type System F Curry Software engineering Type theory Computing
808	OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Programming language theory OCaml Type system ML Subtype polymorphism Type inference System F Lambda calculus Type safety Software engineering Type theory Computing
809	The Mathematics of Algorithm Design about all these algorithms without recourse to specific computing devices or computer programming languages, instead expressing them using the language of mathematics. In fact, the not Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2006-02-14 23:00:29 Complexity classes Mathematical optimization NP-complete problems Operations research Travelling salesman problem Algorithm Minimum spanning tree Combinatorial optimization Approximation algorithm Theoretical computer science Computational complexity theory Applied mathematics
810	The Dream Maker Designer’s Guide to Worlds BYOND Dantom Cover illustration by Dan and layout by Pamela Ohsan Add to Reading List Source URL: www.byond.com Language: English - Date: 2008-01-17 20:48:03 Procedural programming languages ALGOL 68 C Variable Software engineering Computing Programming language theory

UPDATE